Paris type - PDFSEARCH.IO - Document Search Engine

Paris type
Results: 139

#	Item
61	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
62	Error Mining for Regular Expression Patterns Giuseppe Castagna1 , Dario Colazzo2 , and Alain Frisch3 1 CNRS, Ecole Normale Supérieure de Paris, France 2 LRI, Université Paris Sud, Orsay, France Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Type theory Pattern matching Type system PCDATA Regular expression XML Computing Software engineering Data types
63	Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2010-10-14 05:33:04 Mathematics Linear filters Filter General topology Order theory Type system Natural deduction Kalman filter Electronic engineering Filter theory Electronics
64	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
65	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
66	IN and OUT Array Region Analyses Beatrice Creusillet, Centre de Recherche en Informatique, E cole Nationale Superieure des Mines de Paris, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:29:59 Computer programming Control flow Array data type Foreach loop Array data structure PLANC Computing Software engineering Compiler optimizations
67	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
68	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
69	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
70	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing

UPDATE